gitdir: ../../.git/modules/thirdparty/eigen
